Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Counting with Categories (Part 2)
golem.ph.utexas.edu·1d
🔀Category Theory
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
The complexity trap: why cybersecurity must be simplified
techradar.com·5h
🛡Cybersecurity
Lockfree Programming: A Mental Model
xorvoid.com·4d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Proving that every program halts
ntietz.com·2d
👑Isabelle
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing